Merge branch 'ci-docs' into 'master'
authorEmmanuele Bassi <ebassi@gmail.com>
Tue, 25 Feb 2020 19:47:57 +0000 (19:47 +0000)
committerEmmanuele Bassi <ebassi@gmail.com>
Tue, 25 Feb 2020 19:47:57 +0000 (19:47 +0000)
commit06ff60aa3527676663c8f9fb851c053c2979fde8
tree4f88ead94f4d57aef60c15dad5367b2a32c8a1a4
parent64ff12dbd7a95e23aa30ae2fb998b328bbcafee3
parent341b2a3d39c2a68ba603c8eb6b983f08a3aac65d
Merge branch 'ci-docs' into 'master'

Restructure CI jobs

See merge request GNOME/gtk!1476